2de8ef315dc517ffd02fda343bdfd0e0f664a570,test/heros/IFDSSolverTest.java,IFDSSolverTest,branch,#,80

Before Change


				normalStmt("b1").succ("c", flow("x", "x", "y")),
				normalStmt("b2").succ("c", flow("x", "x")),
				normalStmt("c").succ("d", flow("x", "z"), flow("y", "w")),
				normalStmt("d").succ("e", flow("z"), flow("w")));
		
		helper.runSolver(false, "a");
	}

After Change


				normalStmt("b1", flow("x", "x", "y")).succ("c"),
				normalStmt("b2", flow("x", "x")).succ("c"),
				normalStmt("c", flow("x", "z"), flow("y", "w")).succ("d"),
				normalStmt("d", flow("z"), flow("w")).succ("e"));
		
		helper.runSolver(false, "a");
	}